Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
71	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
72	Formal Grammars and Languages 1 Tao Jiang Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2002-01-28 23:36:37 Formal languages Combinatorics Mathematics Language Pattern language Context-sensitive grammar Regular language String Regular grammar Context-free grammar Formal grammar Kleene star
73	CSE 181 Project guidelines Add to Reading List Source URL: www.cs.bilkent.edu.tr Language: English - Date: 2012-11-08 10:11:00 Formal languages Mathematics Bioinformatics Computational phylogenetics Combinatorics Software engineering FASTA Substring String searching algorithm Matching String Pattern matching
74	RISOTTO: Fast extraction of motifs with mismatches Nadia Pisanti‡ , Alexandra M. Carvalho◦∗, Laurent Marsan∓ and Marie-France Sagot ◦ INESC-ID, Lisbon INRIA Rhˆ Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:23 Folklore Motif Suffix tree Bioinformatics Planted motif search Formal languages Lie groups
75	571 Documenta Math. Purity Results for p-Divisible Groups and Abelian Schemes over Regular Bases Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-08-26 14:28:57 Mathematical analysis Measure theory Mathematics Lifting theory Model theory Analysis Formal languages Sigma-algebra Invariant subspace
76	Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Formal languages Combinatorics Mathematics Combinatorics on words Discrete mathematics Theoretical computer science Models of computation Finite automata Automata theory Pushdown automaton Finite-state machine Alphabet
77	Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨ Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Abstraction Data modeling Metamodeling Software design Meta-Object Facility Object Constraint Language KM3
78	Safe Specification of Operator Precedence Rules Ali Afroozeh1 , Mark van den Brand3 , Adrian Johnstone4 , Elizabeth Scott4 , and Jurgen Vinju1,2 1 3 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-09-02 07:23:41 Formal languages Software engineering Grammar Mathematics Parsing Context-free grammar Canonical LR parser Formal grammar Ambiguous grammar LR parser Operator associativity Operator
79	the state of hammer: ready for ics Sven M. Hallberg Adam Crain Meredith L. Patterson Sergey Bratus 26 Maymegaseconds since the Unix epoch LangSec workshop Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:21 Computing Software engineering Computer programming Formal languages Syntax Functional programming Parser combinator Parsing Null Combinator library DNP3 Shifting
80	Corpus Linguistics Regular expressions Regular expressions Syntax of regular expressions Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-09-23 11:48:43 Computing Software Formal languages Pattern matching Cross-platform software Scripting languages Grep Regular expressions Sed Perl Find Expression

UPDATE